checking tool中文是什么意思

發(fā)音:

中文翻譯
造句

測量工具

check n. 1.(象棋)將軍(!)，被將軍的局面。 2.(突然 ...
tool n. 1.工具，用具，器具；【機械工程】刀具；工具母機 ...
artwork checking tool 版圖檢查工具
checking 產(chǎn)生裂縫; 發(fā)裂
checking for 零位調(diào)整; 正在檢查
checking in 辦理登機手續(xù); 辦理人住手續(xù); 報到; 登記入住; 登記住房; 登記住宿; 檢票; 住進(jìn)旅館
checking of 校核
by tool 通過刀具
it tool 信息科技工具
tool n. 1.工具，用具，器具；【機械工程】刀具；工具母機 (＝machine tool)。 2.爪牙，傀儡，走狗；〔美俚〕扒手。 3.【裝釘】壓印機。 4.〔pl.〕〔美俚〕刀叉(等)。 Books are the tools of a scholar. 書籍是學(xué)者的工具。 tool steel 工具鋼。 a broad tool (石工的)寬刃鑿。 an edge(d) tool 刀。 literary tools 文具。 a poor tool不行的工人。 throw down one's tools＝down tools 罷工。 vt.,vi. 1.用工具加工，用工具制造，用鑿刀修整(石頭)；【裝訂】壓印。 2.〔英口〕開車；乘車；〔美俚〕閑逛，閑蕩。 Let me tool you down to the station. 我用車送你上車站吧。 blind tooling 【印刷】(硬封面上的)本色壓印。
account checking 客戶對帳
accuracy checking 精度檢查
amplitude checking 幅度校驗
anti checking 防裂
appointment checking 入職審查
arithmetic checking 算術(shù)檢查
assertion checking 斷言檢查用戶在程序中嵌入的斷言的檢查。
assumption checking 假設(shè)檢驗
automatic checking 自動檢驗; 自動校驗
back checking 復(fù)核
back-checking 返回校驗
batch checking 批量檢查
battery checking 電池檢驗
biscuit checking 餅干表面網(wǎng)狀裂紋; 餅干驗證
board checking 板墻擠貼; 板強擠貼

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

Know different checking tools and find problems and solve them
熟知不同檢測工具，發(fā)現(xiàn)問題并解決問題。
The object of this paper is to verify security protocols with model checking tools
本課題的研究目的是采用模型檢驗工具對安全協(xié)議進(jìn)行驗證。
The accessibility checking tool is not available in visual web developer express edition
Visual web developer速成版中未提供可訪問性檢查工具。
It s always nice to send one s code through an automated checking tool - and watch it pass
發(fā)送代碼，使其通過一個自動檢查工具并看著它通過總是很不錯的。
The accessibility checking tool is not available in the microsoft visual web developer express edition
Microsoft visual web developer速成版中未提供輔助功能檢查工具。
Necessary q - check points in process and have final inspection . spc is used . necessary checking tools and testing equipments are available
生產(chǎn)過程有必要的質(zhì)量檢查點和最終檢驗。使用了spc 。有必要的測量和實驗儀器。
While these link checking tools are far from new , you may not have heard of them , or may have some tools to add to the mix or suggestions of how to use these particular tools more effectively
你可能沒有聽說過這些鏈接檢查工具，但它們已經(jīng)產(chǎn)生很久了；或者與其它工具混合使用過；或者了解使用這些工具的方法。
At last , we draw out some core modules of pems . directed by theories and methods of software reliability , we use static check tools pc - lint and splint to check those modules , and write some programs to test them
最后,抽取pems的核心模塊,應(yīng)用可靠性理論和方法,使用靜態(tài)檢測工具pc - lint和splint對這些模塊進(jìn)行檢測,開發(fā)測試程序進(jìn)行測試。
We have designed and implemented an uml - based model checking tool , uml - mc . it can verify the statecharts modeled by rational rose or i - logix rhapsody . the counter - examples will be given when system does not meet the properties
我們設(shè)計并實現(xiàn)了一個uml模型檢驗工具uml - mc ，可以對rationalrose或i - logixrhapsody建立的statecharts模型進(jìn)行驗證，并能在性質(zhì)不滿足時給出反例路徑。
First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介紹了安全協(xié)議的概念、分類和性質(zhì)，安全協(xié)議的形式化驗證方法，以及小系統(tǒng)模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協(xié)議進(jìn)行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協(xié)議和wooandlam對稱鑰協(xié)議進(jìn)行了形式化建模與模型檢驗，發(fā)現(xiàn)了它們的安全漏洞。

更多例句： 1 2

推薦英語閱讀

checking tool的中文翻譯，checking tool是什么意思，怎么用漢語翻譯checking tool，checking tool的中文意思，checking tool的中文，checking tool in Chinese，checking tool的中文，checking tool怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。